The $1k figure was an estimation, I might try and dig up some info and find out how much they cost.
The AT Model F is something I have also been on the lookout for. If any vintage folks have access to product announcements or the like from IBM about the AT, or indeed any 80s-vintage IBM terminal, PC, workstation or otherwise, do let me know.
I remember a Finnish member giving us a concrete price for the XT Model F. Problem of course is converting 80s Finnish Marks to 80s Dollars, but I guesstimated that it was in the $300-400 region.