If that's a $400,000 home in Florida, I'm amazed. You could pick up something similar in Texas for around $80,000. That is no "luxury" or "executive" home.
That was my first thought, too.