Your 5250 disks aren't a property of DIN valves, they are a property of valves sold for use with 3442 steel cylinders with the Exemption permits. Usually the burst disk installed is the only difference between valves rated for different pressures - there are NOT different valve designs for each different cylinder pressure.Lately, DIN valves seem to almost always seem to come with 5250 psi burst disks by default. Which are technically "too high" for 3000psi tanks. If your shop wants to put in a 5000psi disk then they are correct and the easiest thing is to just let them do it. Practically speaking, the 250psi difference is irrelevant.
Here is the XS Scuba parts list for burst discs, which you will see aligns with the information already posted by @runsongas (once you round 3442 up to 3500, that is)
I agree, 4250 sounds like it is probably not the actual marking on the disk assembly.
And these ratings and pressures are not intended to be applied "at least" or "at most" the rated pressure. They are to be used at the actual rated pressure, neither too high nor too low.