people will prefix the value with “PRO#” or “#”
Sanitizing input afterwards is a good practice and trivial for these cases. For data with a known format like here, you should always strip for example spaces in any case.
Writing three lines of extra to allow more flexible input is easy and will make it much more user friendly. Far easier to make a software more intelligent than educate and train all users.