As you stated, they serving it the old fashioned way, but they are not serving old fashioned coke. Technically, the old fashioned recipe became history just as the diner was established in 1929