He has a Krytonite U-lock and is good about using it. I might install some Pitlocks in place of the QRs.
Serious bike thieves will know what that bike is, they make their living thieving frames and parts, and a Krypto lock will not stop them... that bike will be jacked if the bike cages are exposed like they are the high school where I teach. The only lock on the market that hasn't been beat is the TiGR lock. TiGR was a Kickstarter idea a couple years ago, an older father and son who are lock fanatics devised a titanium bow and tumbler lock that can't be cut, sprung with a hydraulic jack, nor picked. The design is genius the way it's mounted, it weighs a fraction of a bulky lock, and it can securely lock both wheels and the frame without needing to remove either wheel... like I said genius! Urban riders from all over the world, messengers, you name it pre-ordered the TiGR lock and there is an endless sea of praise by riders, magazines, etc. declaring this the single best lock ever. It's pricey but in almost all cases, the bike is worth considerably more, plus the lack of thefts proves it works. I would trust that beautiful Mavic Pug at his high school with a TiGR lock. It's available at REI, Amazon, some better LBS, and through their website; the lock comes in 2 different Ti bow thicknesses and a few different lengths. A couple of the "fixie" kids where I work ride Cinelli and Bianchi track bikes, legit racers and not some cheesy conversion, they lock their bikes with TiGR locks... no thefts after 2 or 3 years thank to TiGR locks!
Here is a link:
https://tigrlock.com/
Here is a photo to help understand how the lock works (beautifully):