Are you sure that pricing is correct and they are restoring it and not refinishing it?

Doing a 200 400 polish can be done using 2 guys 500 sq ft a day at $10.00 hr. per man

Many contractors will tell you a price to see it you will bid lower.

However it is Florida and they are doing things cheap

It can be done but a cheap price up north (no my price I'm a lot higher) would be $2.00 sq ft to sand an polish, restoration starting at 50 grit is done at $4.00 sq ft and $300.00 on tile replacement