Glad to help! Just looked back and there were a few errors in my post. For one, these courses aren't "public", but do have public access. Innisbrook and TPC Sawgrass are both resort courses where you need to stay on the property to get a tee time. Staying at the TPC Sawgrass using Marriott or Starwood points can be a great value in peak travel times like the winter holidays.
Streamsong is public and has 54, not 72 holes.
You can also get on another PGA tour stop, Bay Hill, by staying at their lodge for $225/night. https://www.bayhill.com/accommodations
Finally I should have mentioned playing these courses in December can be incredibly expensive since it's peak season. Not sure what your budget is.