sorry guys just noticed but shouldn't the "Baby klein bottle" be called "Klein klein bottle"? www.kleinbottle.com is this an overlooked DE pun by Cliff? is th

sorry guys just noticed but shouldn't the "Baby klein bottle" be called "Klein klein bottle"? www.kleinbottle.com is this an overlooked DE pun by Cliff? is that even possible?