UK prices appear to be rather lower compared to those in the U.S.
The first two cars are £4250 and the third is £4750. According to todays rates on
xe.com that's roughly $7100 and $7950. Similar cars on this site have been recently listed at $10200 for the 2.7 manual and the tiptronics are obviously higher.