It seems to be that price in all the Google search results, so not an error by the look of it.
There are similar models in the series for around £3,500.
There was a 1962 Gibson ES335 for sale in GAK in Brighton recently - Price On Application. Out of curiosity, I emailed the shop. The price? £16,999...