This can legit get pretty silly, but having heard celiac friends' horror stories about getting gluten'd from unexpected sources I'm definitely inclined to understand the "better safe than sorry" approach here. An explicit gluten-free option is always going to be the better choice for anyone in that camp, especially when the consequences of picking wrong can be pretty damn unpleasant.