Confirmation in Experimental Mathematics: A Case Study