Scary and sad note from an article linked from this one: gas stations in southern California are trying to figure out how to update their gas pumps since they now need to charge more than $9.9999 for diesel and there aren’t more numbers on the pumps.