马斯克旗下狗狗币高管声称从美国国税局技术预算中节省了15亿美元。