Les micros sont des P90 sur la LP Pro, donc c'est quand même bien différents des Standards et Studios.
D'après les infos que j'ai pu lire, à l'époque Gibson utilisait la même lutherie pour faire les LP Deluxe (mini humbuckers) et les LP Pro (P90).
Et oui, les mini humb et les P90 ont le même encombrement donc c'est juste les micros qui différaient entre ces 2 modèles.