I don't know of any restaurants that use lard. It is an antiquated way to cook. Most use vegetable oil or olive oil depending on the dish.
They have their refried beans under the vegetarian dish section, so I hope not! Good question though, it isn't safe of me to just assume!
Thanks! Your answer is awaiting moderation.