Currently, our lab provider partner doesn't have labs ready for Cisco CCNP. So we cannot provide any guided lab in that sense. I believe that what is attached currently are labs from the previous CCNP iteration of ROUTE, SWITCH and TSHOOT but they will not match up directly to ENCOR or ENARSI lineup of objectives even though many of the same topics are covered.
Anthony and I both used the Cisco VIRL and Cisco CML (successor to VIRL) during our shoot. "VIRL" is no longer considered "acceptable" terminology since the pandemic. Personally, at home I use the GNS3 with an older 7200 image that I have. Many people use EVE-NG. Cisco CML is the only one that as an upfront cost associated because they provide images, whereas the others do not.
We do not have a formal recommendation but if you're planning on studying CCNP and even moving on to CCIE studies, the Cisco CML is a worthwhile investment in the very fact that you can purchase and have a lab ready to use within 20 minutes after downloading.