Exporting from TinkerCad as an stl file and then using ReplicatorG to convert to x3g - not sure if I would notice a 7mm difference.
Should I use that as a basis and then scale all drawings up by that factor?