The G55 has now been sold.

The DSP5200 HC is still available for sale with a new (lower) purchase price of GBP 800/EUR 900.