Yea I was asking the same question earlier, but I'm not aware of any symbols. I'm guessing Tim would have to convert them from some proprietary format in the original PDK. But on the other hand, they are just... a mosfet symbol you know, so I'm just editing an existing mosfet symbol with the right model info.