Great!
I wanted to do a quick JOSM update, but it looks like regular expressions are only available for the download and filter functions, not for tag updates. Since there are 115 different height values to update, I was hoping to use regex for efficiency.

It seems possible with JOSM scripting, but I’d need to explore that from scratch.