Red trees for Christmas — decorations optional — are not uncommon during the holidays, ... decking the Cross Hall and Grand Foyer halls with 14,000 red ornaments on 29 trees.