But current SCOTUS will gladly use this as an excuse to establish that precedent.

I’ve had the same experience in Copenhagen. Their metro is fully automated, and the schedule is published as “one train every x minutes during rush hour, every y minutes otherwise”, which is very nice. You just turn up at the station knowing you’ll only have to wait that many minutes. The automation takes it to the next level as well, because the trains run on this schedule through the night.