I think they are Grannies. Taste pretty good. But there is an option for fries and apples or double fries. So pretty much it's almost always double fries.
My friend grew up with a hatred for apples because her school cafeteria served only Red Delicious.
Best apple I ever had was a Pippin.