野菜の型抜きしてますか？

家での自炊生活が今年になってますます身についてきました。
私は結構、煮物が好きで大量に作って、作り置きすることがあるのですが、一人暮らしでパパッと済ませたいため手の込んだことはほぼしないです。特に、野菜の型抜きや飾り切りは...^^;

そして、思い返せば職場（給食）でもそういうことはしていなかったなと思い返していました。作業的にもいっぱいいっぱいでした（汗）そのような型抜きされたものがあれば、行事食やイベントのときに使いたかったなと思います。そこで、質問なのですが、給食でそのような型抜き野菜を使っていることはありましたか？（使っていなかった場合）使いたかったですか？