I've seen the studs for the trim available, just can't remember where.
I'd say that they can be replaced at a later date if going back to vinyl.
Document the locations (maybe find the studs) and grind 'em off!