Keep in mind they possibly may give you a figure that is high just for CYA purposes.
Actual fault current is dependent on size and impedance of transformer, available current that the primary side can deliver, and conductor size, type, length between source and point you want to know the available current for. Available current will be higher at transformer terminals than it is at your service disconnect, short run between them may not lower it much but it will be lower.