De facto,
Your answer was correct! The procedure name is merely taken from the IAP an has no meaning unless it has a + symbol.
If it has a navaid in the minima box then that navaid is required. However, company came back and said that LIDO is not very consistent in their charting.
Why for example does it sometimes include the identifier of the navaid in the minima box and sometimes it doesn't?
For example EDDP, it states DME for the ILS approaches but then specifically the ident for the LOC only approach!!
Furthermore EHEH again, according to LIDO you can't fly this approach if the DME is inop but if you would use Jeppesen I can't see a reference that you wouldn't be able to fly the approach if the DME is inop.