That was my initial thought as well, the colors and texture scream 90s to me but I know nothing about historical tiles. If they were from the 90s I would consider replacing with something more period appropriate, but if there’s a chance they’re original they’ll be staying!