Today marks Paul Rubin‘s retirement. To celebrate this special day in O.R.’s history, a few of us put together a nice collection of stories at http://paulsretirement.wordpress.com/ (very special thanks to go Mary Leszczynski). My personal contribution is here. If you know Paul, make sure to check it out! If you don’t know Paul…nah, everyone knows Paul.