Hi Steve,
With "High Risk" equipment I would always suggest using OEM supplied batteries to be certain that the device is operating to manufacturers spec. You dont want batteries not working to manf spec in equipment like this.
These batteries have a little recess in the end which sits over a microswitch. If you use the non-OEM batteries you will prob find there is NO recess in the end. This microswitch if depressed charges the capacitor up slower to reduce current drain on the battery to avoid tripping the thermal cutout.
To be safe I would use OEM ONLY on high risk equipment, OEM batteries are normally better quality than 3rd party suppliers, you get what you pay for.
I think that there are some debates on this issue on this site if you do a search on this site under "XL batteries" or something like that.