Question: Sterling AX30D Strings Gauge

Hi members of The Ernie Ball Forum! This is my first thread so i hope to do it right.I recently bought a brand new Sterling by Musicman AX30D and i’m more than happy with the guitar, it has a great sound, quality and look. But i have a doubt for the future change of strings, i don’t know what is the gauge of the strings it come. I don’t want to ruin the intonation and calibration of the guitar, since it came perfectly set up (at least for my fingers and ears) and zero fret buzzing. i searched in the internet this data and there isn’t info about it. My guess is that they are 09-42 Slinky’s but i’m not sure. Sorry if there is grammatical errors, i’m from Argentina and my English writing is not the best. Thank you very much.