I have fifty pounds of frozen uncooked Lobster Tails. I want them for casserole....

[Psych Lapse]

...How do I cook them?
I am making a noodle casserole.
I need to know how to COOK them, not what to do with them.
Do I boil them? Frozen or defrosted? How long?
Thanks