Price depends on which market. In my market (Chicagoland) they tend to be $1400-$1600 on average. The more rare 'Diamond Plate' Whirlwinds are worth a few hundred more.
Yeah that's a steal on Whirlwind. I got mine off ebay for $900.00 in none working condition. It was a easy fix though was playing that night we brought it home.