Vac rental pool exists - get a heater installed or a hot tub?

[Fllnids Agg]

Hi!

We just bought a house near Venice, Florida. Its a waterfront property that has a pool. We are getting the pool fixed ($10k cost its 70s fiberglass pool). Plan is to make it a seasonal rental during the snow bird season and airbnb/vrbo during summer months.

Should we get a hot tub or get the pool heater installed? 

I have read previous forums from 2017 and before on similar topic - but wondering how things have changed now in terms of maintenance - anyone has any experience in hot tub maintenance ?

Any suggestions  would ve greatly appreciated - need to make a decision quickly!

thanks :) and wish us luck - first time vacation rental investor