Yeah I thought paved meant paving stones when I made the note, but the wiki describes it as a pretty broad tag.

https://wiki.openstreetmap.org/wiki/Key:surface#Paved

Probably best to keep it the way it is until someone can go over and do an outdoor survey.