BTW: the same dataset was discussed previously in this thread, which you can check out for some actual Stan code.