Looks like anyone who has them wants $700, and you'd have to ship.
Coleman has them on their site, but has disabled check-out, possibly because no one's at work at the moment.
With the current situation, I'd probably go for the one at
Walmart, save $150, and paint it orange, lol...