You have an electrician and AHJ that understands the NEC correctly. In this case, there are explicit exceptions written in code (210.12(B)), but that's an exception to a new part of code. In the general case, replacing like-for-like is permitted, so long as the original met code at the time of installation.