lol
Yes it is excessive, but this is how you get real grass in a dome.
The other ways of doing it is to create a retractable dome that doesn't cast so much shadows on the grass so it has sufficient sunlight to grow. Or have a full dome but maybe insert a large artificial lighting structure...