I just opened some pro gear that had a 9-volt battery installed from the factory, and it was an Energizer "Industrial". Does anyone know the difference between the "industrial" version and the "consumer" version? Does one last longer? Is one more prone to leakage? If indeed the "industrial" versions are "better", where can you get them? Thanks.