The graded coin market is in a bull market since the pandemic. I think it’d safely sell for £200,000 after being graded. However, with the added provenance (partly comprising such an amusing story) it would probably sell upwards of £250,000.