they are real chips produced and sold by the Hard rock Cafe. They were never used as actual gaming chips at any casinos, but I don;t think you can call them fantasy chips. I'd call them commemorative NCV chips. Again, they are from the HR Cafe, not the casino.
The original prices were 8.00 if I recall correctly, and they were supposed to be limited to around 500 chips.
However.....the one in the middle IS a house chip from the actual London casino.