It be curious about pricing. Standard looking machines. The smaller ones have spindles that are very underpowered.

The larger one runs on 3 phase which is a problem for most of us. 8000 rpm is OK for most stuff, BT30 is nice. Id estimate this machine to cost somewhere between £10 - 15K, if not a bit more.