$3k for what repair?