I understand DL has an electronic device that measures kids' heights. Has WDW started using it yet? My DD is 4 yrs old and about 40 inches. I've already warned her that some rides she pass the height requirment but some she may not even though they have a 40 inches minimum.