Those numbers have gotta be old-distro prices