Sorry, it has been a while. I remembered them as IPOing for ~190 million, but apparently that was not the case.