Universal’s Dallas theme park is pipsqueak small by Texas standards