It also seems like something that would be great as part of Simon Tatham's puzzle collection: https://www.chiark.greenend.org.uk/~sgtatham/puzzles/ / https://play.google.com/store/apps/details?id=name.boyle.chr...
PS: Good chance that if you're reading these comments that you will appreciate this video by 2swap, visualising solutions to Rush Hour in 3D: https://youtu.be/YGLNyHd2w10?si=fGFqzEbmV3utbA0O
The Rush Hour puzzle is quite fun when viewed as a planning problem. In standard PDDL the model becomes very messy. I like the extensions proposed in https://arxiv.org/abs/2412.06312v1 that makes the model intuitive.