How Greg Garcia and Mike O’Malley baked Jimmy Buffett lyrics into the plot of their original musical.